| Wahlpflichtbereich Theoretische Informatik |
| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Formale Systeme, Automaten, Prozesse | Übung | 473798 | Mi 16:30-18:00 Grüner Hörsaal AM (Gr) (1420|001) (×11) | ||
| Vorlesung | 470971 | Di 14:30-16:00 AachenMünchener Halle (Aula) (1010|131) (×12) Di 14:30-16:00 TEMP1 (1515|001) (×1) Fr 08:30-10:00 H02 (1385|102) (×12) | |||
| Fach-/Modulprüfung | 6 | 478504 | |||
| Tutorium | 471245 | Mo 08:30-10:00 5055 (2356|055) (×11) Mo 08:30-10:00 SG 413 (1810|413) (×11) Mo 08:30-10:00 SG 512 (1810|512) (×11) Mo 08:30-10:00 SG 513 (1810|513) (×11) Mo 12:30-14:00 Seminarraum i1, Raum 4017 (2353|017) (×1) Di 11:30-13:00 Seminarraum i1, Raum 4017 (2353|017) (×1) Do 08:30-10:00 001 (1830|001) (×11) Do 08:30-10:00 5052 (2356|052) (×11) Do 08:30-10:00 5055 (2356|055) (×11) Do 08:30-10:00 Fk 9 (1541|209) (×11) Do 08:30-10:00 R 220 (1080|220) (×11) Do 08:30-10:00 SFo 2 (1821|002) (×11) Do 08:30-10:00 SFo 9 (1821|009) (×11) Fr 10:30-12:00 5052 (2356|052) (×13) Fr 10:30-12:00 5054 (2356|054) (×13) Fr 10:30-12:00 5056 (2356|056) (×12) Fr 10:30-12:00 S13 (1385|213) (×13) Fr 10:30-12:00 S14 (1385|214) (×13) Fr 10:30-12:00 S16 (1385|216) (×13) Fr 10:30-12:00 SFo 1 (1821|001) (×13) Fr 10:30-12:00 SFo 3 (1821|003) (×13) Fr 10:30-12:00 SG 203 (1810|203) (×1) Fr 10:30-12:00 SG 23 (1810|023) (×13) Fr 14:30-16:00 5054 (2356|054) (×13) Fr 14:30-16:00 5055 (2356|055) (×13) Fr 14:30-16:00 Fk 9 (1541|209) (×13) Fr 14:30-16:00 S05 (1385|205) (×13) Fr 14:30-16:00 S07 (1385|207) (×13) Fr 14:30-16:00 S09 (1385|209) (×13) Fr 14:30-16:00 S10 (1385|210) (×13) Fr 14:30-16:00 S13 (1385|213) (×13) Fr 14:30-16:00 S14 (1385|214) (×13) Fr 14:30-16:00 S15 (1385|215) (×13) Fr 14:30-16:00 S16 (1385|216) (×13) | |||
| Mathematische Logik I | Vorlesung | 471091 | Mi 09:00-10:00 Roter Hörsaal AM (Ro) (1420|002) (×14) Do 14:30-15:45 Roter Hörsaal AM (Ro) (1420|002) (×11) | ||
| Fach-/Modulprüfung | 6 | 477364 | |||
| Tutorium | 472006 | Mo 10:30-12:00 AH V (2356|050) (×1) Mo 10:30-12:00 H11 (1385|218) (×10) Mo 12:30-14:00 5056 (2356|056) (×9) Mo 12:30-14:00 Online-Veranstaltung (×1) Mo 12:30-14:00 S10 (1385|210) (×1) Mo 12:30-15:30 AH III (2350|314.1) (×1) Mo 14:00-17:00 AH I (2350|028) (×1) Di 15:00-18:00 Online-Veranstaltung (×1) Mi 10:30-12:00 H06 (1385|004) (×12) Mi 12:30-14:00 AH I (2350|028) (×12) Mi 12:30-14:00 Online-Veranstaltung (×1) Mi 14:30-16:00 H07 (1385|104) (×9) Mi 14:30-16:00 Online-Veranstaltung (×2) Mi 16:30-18:00 AH I (2350|028) (×11) Mi 18:30-20:00 Online-Veranstaltung (×2) Do 10:00-13:00 AH III (2350|314.1) (×1) Do 10:30-12:00 H08 (1385|219) (×10) Do 12:30-14:00 IV (1010|141) (×10) Do 16:30-18:00 5056 (2356|056) (×9) Do 16:30-18:00 S03 (1385|203) (×1) Do 18:30-20:00 Online-Veranstaltung (×10) Fr 10:30-12:00 AH V (2356|050) (×11) Fr 10:30-12:00 V (1010|213) (×1) Fr 11:00-14:00 Online-Veranstaltung (×1) Fr 11:30-16:00 AH II (2350|111) (×1) Fr 12:00-15:00 AH III (2350|314.1) (×1) Fr 12:00-17:00 AH IV (2354|030) (×1) Fr 12:30-14:00 AH I (2350|028) (×12) Fr 16:30-18:00 II (1010|201) (×1) Fr 16:30-18:00 IV (1010|141) (×11) |